-
1 intuitionistic analysis
Математика: интуиционистский анализУниверсальный англо-русский словарь > intuitionistic analysis
-
2 intuitionistic analysis
English-Russian scientific dictionary > intuitionistic analysis
-
3 intuitionistic analysis
Англо-русский словарь по исследованиям и ноу-хау > intuitionistic analysis
-
4 analysis
1) анализ; исследование; изучение2) разбор3) анализ, состав•analysis in time domain — матем. временной анализ
analysis is in control — хим. состав попадает в анализ
analysis situs — матем. топология
-
5 интуиционистский анализ
Русско-английский научно-технический словарь Масловского > интуиционистский анализ
-
6 интуиционистский анализ
Большой англо-русский и русско-английский словарь > интуиционистский анализ
-
7 интуиционистский анализ
Mathematics: intuitionistic analysisУниверсальный русско-английский словарь > интуиционистский анализ
-
8 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
См. также в других словарях:
Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… … Wikipedia
Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… … Wikipedia
Non-classical analysis — In mathematics, non classical analysis is any system of analysis, other than classical real analysis, and complex, vector, tensor, etc., analysis based upon it. Such systems include: Abstract Stone duality,[1] a programme to re axiomatise general … Wikipedia
Constructive analysis — In mathematics, constructive analysis is mathematical analysis done according to the principles of constructive mathematics. This contrasts with classical analysis, which (in this context) simply means analysis done according to the (ordinary)… … Wikipedia
Philosophical analysis — (from Greek: Φιλοσοφική ανάλυση) is a general term for techniques typically used by philosophers in the analytic tradition that involve breaking down (i.e. analyzing) philosophical issues. Arguably the most prominent of these techniques is the… … Wikipedia
Constructive non-standard analysis — In mathematics, constructive nonstandard analysis is a version of Abraham Robinson s non standard analysis, developed by Moerdijk (1995), Palmgren (1998), Ruokolainen (2004). Ruokolainen wrote: The possibility of constructivization of nonstandard … Wikipedia
Constructivist analysis — In mathematics, constructive analysis is mathematical analysis done according to the principles of constructivist mathematics.This contrasts with classical analysis , which (in this context) simply means analysis done according to the (ordinary)… … Wikipedia
Intuitionism — This article is about Intuitionism in mathematics and philosophical logic. For other uses, see Ethical intuitionism. In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach to mathematics as … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Foundations of mathematics — is a term sometimes used for certain fields of mathematics, such as mathematical logic, axiomatic set theory, proof theory, model theory, and recursion theory. The search for foundations of mathematics is also a central question of the philosophy … Wikipedia
William Alvin Howard — (1926 ) is a proof theorist most well known for his work demonstrating formal similarity between intuitionistic logic and the simply typed lambda calculus that has come to be known as the Curry Howard correspondence. He has also been active in… … Wikipedia